| Model: | consensus v.1 (MDP) |
| Parameter(s) | N = 6, K = 2 |
| Property: | steps_min (exp-reward) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe consensus.6.jani --epsilon 1e-3 -E K=2 --props steps_min --timeout 580
| Walltime: | 580.7515525817871s |
| Return code: | 0 |
| Relative Error: | 0.9586137135823567 |
consensus.6.jani:model: info: consensus.6 is an MDP model. consensus.6.jani: info: Need 19 bytes per state. Throw exception consensus.6.jani:properties[4]: warning: Computing minimum expected reward in property "steps_min" without checking for zero-reward end components. Peak memory usage: 68 MB Analysis results for consensus.6.jani Experiment K=2 + Property steps_min Value: 17.8788757324219 Time: 579.5 s